Pushing the Paperless Envelope

Digital Rx: Obama pushing for paperless prescriptions.

Pushing the EL Envelope

Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL0 becomes already intractable in the presence of acyclic TBoxes, it remains tractable in EL even with general concept ...

Pushing the envelope

Primates have co-opted a viral gene to produce an envelope protein that prevents infection by the HERV-T virus and likely contributed to the extinction of this virus.

Pushing the endogenous envelope

The majority of retroviral envelope glycoproteins characterized to date are typical of type I viral fusion proteins, having a receptor binding subunit associated with a fusion subunit. The fusion subunits of lentiviruses and alpha-, beta-, delta- and gammaretroviruses have a very conserved domain organization and conserved features of secondary structure, making them suitable for phylogenetic a...

Pushing the CFDnc Envelope

We consider the consequences on basic reasoning problems of allowing negated primitive concepts on left-hand-sides of inclusion dependencies in the description logic dialect CFDnc. Although earlier work has shown that this makes CQ answering coNP-complete, we show that TBox consistency and concept satisfiability remain in PTIME. We also show that knowledge base consistency and instance retrieva...